#!/bin/bash
# This wrapper attempts to clean up after benchmarks that dribble files into /tmp
# Some of them respect TMPDIR, some do not.
# The value of BENT_BINARY is not especially likely to match things normally found in /tmp
PID=$$
TD=/tmp/bent-${PID}
mkdir -p ${TD}
TMPDIR=${TD} "$@"
rm -rf ${TD}
if [ "x${BENT_BINARY}" != "x" ] ; then
	rm -rf /tmp/${BENT_BINARY}*
fi
